1

A New Formula for π

Yuri V. Matiyasevich
Journal:
American Mathematical Monthly
Année:
1986
Langue:
english
Fichier:
PDF, 466 KB
english, 1986
2

A direct method for simulating partial recursive functions by Diophantine equations

Yuri Matiyasevich
Journal:
Annals of Pure and Applied Logic
Année:
1994
Langue:
english
Fichier:
PDF, 1.29 MB
english, 1994
3

A New Formula for Π

Matiyasevich, Yuri V., Guy, Richard K.
Journal:
American Mathematical Monthly
Année:
1986
Langue:
english
Fichier:
PDF, 529 KB
english, 1986
4

Existential arithmetization of Diophantine equations

Yuri Matiyasevich
Journal:
Annals of Pure and Applied Logic
Année:
2009
Langue:
english
Fichier:
PDF, 525 KB
english, 2009
5

What Divisibility Properties Do Generalized Harmonic Numbers Have?

Yuri Matiyasevich
Journal:
American Mathematical Monthly
Année:
1992
Langue:
english
Fichier:
PDF, 211 KB
english, 1992
7

What Divisibility Properties Do Generalized Harmonic Numbers Have?

Matiyasevich, Yuri
Journal:
American Mathematical Monthly
Année:
1992
Langue:
english
Fichier:
PDF, 282 KB
english, 1992
8

On post correspondence problem for letter monotonic languages

Vesa Halava, Jarkko Kari, Yuri Matiyasevich
Journal:
Theoretical Computer Science
Année:
2009
Langue:
english
Fichier:
PDF, 300 KB
english, 2009
9

Some arithmetical restatements of the Four Color Conjecture

Yuri Matiyasevich
Journal:
Theoretical Computer Science
Année:
2001
Langue:
english
Fichier:
PDF, 143 KB
english, 2001
15

Some probabilistic restatements of the Four Color Conjecture

Yuri Matiyasevich
Journal:
Journal of Graph Theory
Année:
2004
Langue:
english
Fichier:
PDF, 99 KB
english, 2004
16

Preface

Yuri Matiyasevich, Anil Nerode
Journal:
Annals of Pure and Applied Logic
Année:
1996
Langue:
english
Fichier:
PDF, 55 KB
english, 1996
17

Preface

Sergei Artemov, Yuri Matiyasevich, Grigori Mints, Anatol Slissenko
Journal:
Annals of Pure and Applied Logic
Année:
2010
Langue:
english
Fichier:
PDF, 234 KB
english, 2010
18

Decision problems for semi-Thue systems with a few rules

Yuri Matiyasevich, Géraud Sénizergues
Journal:
Theoretical Computer Science
Année:
2005
Langue:
english
Fichier:
PDF, 322 KB
english, 2005
20

Preface

Yuri Matiyasevich
Journal:
Annals of Pure and Applied Logic
Année:
2001
Langue:
english
Fichier:
PDF, 27 KB
english, 2001
21

Biography of A.O. Slissenko

Danièle Beauquier, Dimitri Grigoriev, Yuri Matiyasevich
Journal:
Theoretical Computer Science
Année:
2003
Langue:
english
Fichier:
PDF, 158 KB
english, 2003
22

Solving word equations modulo partial commutations

Volker Diekert, Yuri Matiyasevich, Anca Muscholl
Journal:
Theoretical Computer Science
Année:
1999
Langue:
english
Fichier:
PDF, 1.33 MB
english, 1999
23

Preface

Yuri Matiyasevich, Sergei Artemov
Journal:
Annals of Pure and Applied Logic
Année:
2006
Langue:
english
Fichier:
PDF, 97 KB
english, 2006
24

Multiple serial episodes matching

Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
Journal:
Information Processing Letters
Année:
2006
Langue:
english
Fichier:
PDF, 141 KB
english, 2006
31

Forest Fire Models on Configuration Random Graphs

Leri, Marina, Pavlov, Yuri, Karhumäki, J., Mazalov, V., Matiyasevich, Yu.
Journal:
Fundamenta Informaticae
Année:
2016
Langue:
english
Fichier:
PDF, 7.54 MB
english, 2016
32

On {ℓ}-Metric Dimensions in Graphs

Hakanen, Anni, Laihonen, Tero, Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail
Journal:
Fundamenta Informaticae
Année:
2018
Langue:
english
Fichier:
PDF, 316 KB
english, 2018
33

Congruences for Apery Numbers βn =∑k=0nn k2n+k k

Cao, Hui-Qin, Matiyasevich, Yuri, Sun, Zhi-Wei
Journal:
International Journal of Number Theory
Année:
2019
Langue:
english
Fichier:
PDF, 912 KB
english, 2019